<html>
<body>
Reports various method contract (@Contract annotation) well-formedness issues:
<li>Errors in contract syntax</li>
<li>Contracts not conforming to the method signature (wrong parameter count)</li>
<li>Method implementations that contradict the contract (e.g. returning "true" when the contract says "false")</li>
</body>
</html>